ZKPのユースケース from Mysten Labs
負債／準備金／支払能力の証明
銀行が少なくとも一定額を準備金として保有していることを証明することと、銀行が最大でもその額を負債として保有していることを証明すること
利用者の残高を明らかにしない
使用例
Provisions: Privacy-preserving proofs of solvency for Bitcoin exchanges
Protocols for Provable Solvency
受信者を隠す
n人の異なる受信者のtxを作成
受信者以外には0を送るけど、受信者が0以外の通貨を受け取ったかはわからない
プライベートな投票
Non-interactive Zero-Knowledge Arguments for Voting
連合学習
Acorn[BGL+22
オークション
検証可能なオークションに範囲証明を使用
入札の値を明らかにすることなく、売却価格が正しく設定されたことを証明するのに役立つ
Verifiable Auctions for Online Ad Exchanges
匿名クレデンシャル / Anonymous credentials
自分の属性に関する事実を後で証明することができる
以下の動機は匿名クレデンシャル
Efficient Protocols for Set Membership and Range Proofs
グループ署名
署名者のグループの誰が署名を作成したかを明らかにすることなく、 署名者のグループがグループを代表して署名を作成する
Separability and Efficiency for Generic Group Signature Schemes
検証された場所 / Verified location
範囲証明は、緯度と経度が適切な区間にあることを証明することで、その場所が 許可された領域にあることを示すために使用できる
タイムスタンプとの応用例Hashwires
HashWires: Hyperefficient Credential-Based
Range Proofs
タイムスタンプ
秘密の有効期限を持つ証明書が発行された
範囲証明を使って、証明書がまだ有効であること、つまり現在の日付が有効期限より短いことを非公開で示すことができる
暗号文の有効性
範囲証明を使って、様々な格子ベースの暗号化スキームの暗号文が有効であることを示すことができる
Vector Commitments With Proofs of Smallness:
Short Range Proofs and More
差分プライバシー
アプリケーションによっては、暗号化された消費者データが統計的研究をサポートするために集計される
Privacy preserving disclosure of authenticated energy usage data
個々のユーザのプライバシーを可能にするために、差分プライバシーのためにノイズを追加